\documentclass[a4paper]{article}

\usepackage[spanish]{babel}
\usepackage[latin1]{inputenc}
%\usepackage{bbm}
\usepackage{framed}
\input{macrosAlgo1}

\newcommand{\comen}[2]{%
\begin{framed}	
\noindent \textsf{#1:} #2
\end{framed}
}



\begin{document}

%\materia{Algoritmos y Estructura de Datos I}
%\cuatrimestre{2}
%\anio{2012}

%\fecha{30 de Agosto de 2012}

%\nombre{\LARGE TPE De Hoteles y Pasajeros v1.0}

%\titulotp


\section{Informe}

\subsection{Aclaraci\'{o}n sobre test de sinLCDParaTodos}

Si bien se indic\'{o} que ignorasemos el resultado de los tests de la funci\'{o}n \verb|sinLCDParaTodos| del m\'{o}dulo Ministerio, nosotros modificamos la implementaci\'{o}n de dichos tests por la que creemos que es una implementaci\'{o}n v\'{a}lida. Realizamos dos correcciones:

En primer lugar, el string que dec\'{i}a \verb|"The Shire"| lo reemplazamos por \verb|"TheShire"| (sin espacios).

La segunda correcci\'{o}n que hicimos fue reemplazar la expresi\'{o}n \\ \verb|(mismasCadenasM (snd (sinLCDParaTodos m5)) ([[ht14],[ht15,ht17bis]]))| por \\ \verb| (mismasCadenasM (snd (sinLCDParaTodos m5)) ([[ht14, ht17bis],[ht15]]))|, pues \verb|ht15| y \verb|ht17bis| no pertenecen a la misma cadena.

La implementaci\'{o}n de los tests de \verb|sinLCDParaTodos| queda entonces as\'{i}:

\begin{verbatim}
testSinLCDParaTodosInt = TestCase (assertEqual "Test Sin LCD Para Todos Int:" 
(fst (sinLCDParaTodos m5) )(2))

testSinLCDParaTodosMin = TestCase (assertEqual "Test Sin LCD Para Todos Int:" 
((mismasSecretarias (secretariasM (snd (sinLCDParaTodos m5))) (secretariasM m6)) 
	&& (mismosRegistrosM (snd (sinLCDParaTodos m5)) "TheShire" [ht14])
	&& (mismasCadenasM (snd (sinLCDParaTodos m5)) ([[ht15],[ht14,ht17bis]]))) True)
\end{verbatim}

El archivo \verb|Test.hs| que incluimos en la entrega digital tiene las modificaciones antedichas y la funci\'{o}n \verb|sinLCDParaTodos| que implementamos pasa los tests.

\end{document}
